Generic programming

Results: 1118



#Item
31Software engineering / Computer programming / Computing / Object-oriented programming / Common Lisp Object System / Metaobject / Generic function / Metaclass / Frame language / Class / Object / Mutator method

ACT Parameterization Framework Alan Paviˇci´c Nikˇsa Bosni´c AVL-AST Zagreb, Croatia

Add to Reading List

Source URL: www.deinprogramm.de

Language: English - Date: 2005-10-09 10:54:10
32Mathematics / Equations / Polynomials / Numerical analysis / Algebra / Operations research / Global optimization / System of polynomial equations / Mathematical optimization / Linear programming / Constraint satisfaction / Interval arithmetic

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center

Add to Reading List

Source URL: shemesh.larc.nasa.gov

Language: English - Date: 2015-08-18 13:33:42
33C++ / Generic programming / Metaprogramming / Template / Objective-C / Industry Foundation Classes

Simplebim 4 Documentation SIMPLEBIM 4 TEMPLATE GUIDE Templates are the key for using simplebim® effectively. With templates you can automate for example trimming and extending the model, editing model data, setting val

Add to Reading List

Source URL: simplebim.ch

Language: English - Date: 2015-09-18 08:18:07
34Type theory / Data types / Object-oriented programming / Model theory / Polymorphism / Subtyping / Type system / FO / Generic programming / Functional predicate / -recursive function / Function

Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
35Method / Object-oriented programming / Multiple dispatch / Dynamic dispatch / Visitor pattern / Polymorphism / Generic function / Typeof / This / Inheritance / Dispatch

Multiple dispatch Axel Rauschmayer 2ality.com

Add to Reading List

Source URL: dl.2ality.com

Language: English - Date: 2012-12-03 03:24:17
36C++ Standard Library / C++ / Generic programming / Object / Iterator / Standard Template Library / Concepts / Associative containers / Sort / Sequence container / C++11 / Polymorphism

Runtime Concepts for the C++ Standard Template Library Peter Pirkelbauer Sean Parent Mat Marcus

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2011-11-03 23:35:16
37Data types / Procedural programming languages / Functional programming / Concurrent programming languages / Functional languages / Trie / Rust / Radix tree / Associative array / Pointer / Go / Immutable object

Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction

Add to Reading List

Source URL: michaelsproul.github.io

Language: English - Date: 2015-03-30 20:03:55
38Type theory / Generic programming / Polytypic / NP / Polymorphism / Functor / Dependent type / Map

Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04
39Subroutines / Programming paradigms / Functional languages / Generic programming / Inline expansion / Mathematical optimization / Recursion / Haskell / Comparison of C Sharp and Java / Functional programming

Transformation and Analysis of Functional Programs Neil Mitchell Submitted for the degree of Doctor of Philosophy

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
40Functional programming / Zipper / Monad / Generic programming / Generalizations of the derivative / Tree traversal / Type system

Scrap Your Zippers A Generic Zipper for Heterogeneous Types Michael D. Adams School of Informatics and Computing, Indiana University http://www.cs.indiana.edu/~adamsmd/

Add to Reading List

Source URL: michaeldadams.org

Language: English - Date: 2012-07-27 19:30:16
UPDATE